Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
841	Chapter 1 On the Logic of Lying Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, and Yanjing Wang Abstract We model lying as a communicative act changing the beliefs of the agents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-03 04:30:48 Modal logic Metalogic Non-classical logic Doxastic logic Epistemic modal logic Model theory Entailment Truth Function Logic Mathematical logic Philosophical logic
842	The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:00 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Golden ratio Philosophy of mathematics Linear temporal logic Model theory Formal languages Logic
843	Logic of Information Flow on Communication Channels (Extended Abstract) Yanjing Wang ∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-23 16:49:28 Formal languages Model theory Artificial intelligence Epistemic modal logic Modal logic Interpretation Golden ratio Constructible universe Common knowledge Logic Mathematical logic Mathematics
844	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
845	Edward N. Zalta Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory∗ Edward N. Zalta† Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-10-25 17:28:23 Predicate logic Model theory Lambda calculus Metalogic Object theory First-order logic Function Field Functor Mathematics Mathematical logic Logic
846	Model Theory and Applications to Algebra and Analysis Model Theory and Applications to Algebra and Analysis 17 January to 15 July 2005 Report from the Organisers: Add to Reading List Source URL: www.newton.ac.uk Language: English - Date: 2005-11-30 08:00:44 Metalogic Strongly minimal theory O-minimal theory Morley rank Stable group Hrushovski construction Mathematical logic Alexander Grothendieck Stable theory Model theory Abstract algebra Mathematics
847	R-MAT: A Recursive Model for Graph Mining Deepayan Chakrabarti∗ Yiping Zhan† Abstract Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-29 09:14:38 Network theory Adjacency matrix Matrices Graph Degree distribution Bipartite graph Scale-free network Complex network Graph theory Mathematics Algebraic graph theory
848	Interacting Multiple Model Monocular SLAM Javier Civera, Andrew J. Davison and J. M. M. Montiel Abstract— Recent work has demonstrated the benefits of adopting a fully probabilistic SLAM approach in sequential motion a Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-02-06 05:42:56 Estimation theory Bayesian statistics Statistical models Kalman filter Particle filter Mixture model Markov chain Pattern recognition Simultaneous localization and mapping Statistics Robot control Markov models
849	Active Matching Margarita Chli and Andrew J. Davison Imperial College London, London SW7 2AZ, UK {mchli,ajd}@doc.ic.ac.uk Abstract. In the matching tasks which form an integral part of all types of tracking and geometri Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2008-08-28 18:09:20 Computer vision Cluster analysis Mixture model Normal distribution Kullback–Leibler divergence Mutual information Information theory Statistics Probability and statistics Machine learning
850	Scalable Active Matching Ankur Handa, Margarita Chli, Hauke Strasdat and Andrew J. Davison Department of Computing, Imperial College London, UK {ahanda, mchli, strasdat, ajd}@doc.ic.ac.uk Abstract Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-04-01 06:56:43 Theoretical computer science Graphical models Probability theory Combinatorial optimization Matching Pattern recognition Motion estimation Mixture model Video tracking Mathematics Machine learning Statistics

UPDATE